$\forall$$A$, $B$:Type, $L$:$A$ List, $f$:(\{$a$:$A$$\mid$ ($a$ $\in$ $L$) \}$\rightarrow$$B$). mapl($f$;$L$) $\in$ $B$ List